Continuation semantics for flowgraph equations
نویسندگان
چکیده
منابع مشابه
Continuation Semantics for Concurrency
This paper presents a continuation semantics satisfying the basic laws of concurrent systems. This semantics is illustrated for a simple CSP-like language extended with communication on multiple channels and synchronization based on join patterns, which also provides operators for nondeterministic choice, sequential and parallel composition. For the language under investigation we present a den...
متن کاملContinuation - Passing Semantics for Concurrency —
We investigate the formal design of concurrent languages in continuation-passing style (CPS). We present a continuation-based denotational semantics for an abstract language providing operators for nondeterministic choice, sequential and parallel composition, and a general mechanism of interaction between multisets of distributed actions. We show that the basic laws of concurrent systems are sa...
متن کاملContinuation Semantics for Asynchronous Concurrency
The paper presents a method of reasoning about the behaviour of asynchronous programs in denotational models designed with metric spaces and continuation semantics for concurrency.
متن کاملSDRT and Continuation Semantics
Segmented Discourse Representation Theory (SDRT) [2, 7] provides a dynamic semantics for discourse that exploits a rich notion of discourse structure. According to SDRT, a text is segmented into constituents related to each other by means of rhetorical relations; the resulting structure, known as a segmented discourse representation structure or SDRS has various semantic effects. This theory ha...
متن کاملContinuation Semantics for Symmetric Categorial Grammar
Categorial grammars in the tradition of Lambek [1,2] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a structured configuration of formulas A1, . . . , An. The absence of structural context in the succedent makes the analysis of a number of phenomena in natural language semantics problematic. A case in point is scope construal:...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1986
ISSN: 0304-3975
DOI: 10.1016/0304-3975(86)90125-8